An algebra for process creation

An Asynchronous Process Algebra withMultiple

In this paper we introduce a novel approach to the speciication of real-time behaviour with process algebras. In contrast to the usual pattern, involving a xed, measurable, and global notion of time, we suggest to represent real-time constraints indirectly through uninterpreted clocks enforcing broadcast synchronization between processes. Our approach advocates the use of asynchronous process a...

Probabilistic Process Algebra Probabilistic Process Algebra

Towards an Homotopy Theory of Process Algebra

This paper proves that labelled flows are expressive enough to contain all process algebras which are a standard model for concurrency. More precisely, we construct the space of execution paths and of higher dimensional homotopies between them for every process name of every process algebra with any synchronization algebra using a notion of labelled flow. This interpretation of process algebra ...

Process Algebra: An Algebraic Theory of Concurrency

This tutorial provides an overview of the process algebra ACP.

Process Algebra Semantics for Queues

An unbounded queue over a finite set of data 1is,,a Q. in -.A defined by an infinite system of guarded equations. The aim of this paper is to show that no finite system of guarded equations is capable of defining Q. This is a revised version of: Process algebra semantics for queues, Mathematical Centre Research Report IW241,, Amst,rdam.,1983.. * present affiliation & correspondence address: of ...